FRIEDMAN, HARVEY: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Does Mathematics Need New Axioms?

Solomon Feferman, Harvey M. Friedman, Penelope Maddy and John R. Steel

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 1.04 MB

english, 2000

2

An axiomatic approach to self-referential truth

Harvey Friedman, Michael Sheard

Journal:

Annals of Pure and Applied Logic

Year:

1987

Language:

english

File:

PDF, 1.81 MB

english, 1987

3

One Hundred and Two Problems in Mathematical Logic

Harvey Friedman

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 402 KB

english, 1975

4

On the necessary use of abstract set theory

Harvey Friedman

Journal:

Advances in Mathematics

Year:

1981

Language:

english

File:

PDF, 4.36 MB

english, 1981

5

Finite Functions and the Necessary Use of Large Cardinals

Harvey M. Friedman

Journal:

Annals of Mathematics

Year:

1998

Language:

english

File:

PDF, 2.47 MB

english, 1998

6

Set Theoretic Foundations for Constructive Analysis

Harvey Friedman

Journal:

Annals of Mathematics

Year:

1977

Language:

english

File:

PDF, 1.92 MB

english, 1977

7

Necessary uses of abstract set theory in finite mathematics

Harvey Friedman

Journal:

Advances in Mathematics

Year:

1986

Language:

english

File:

PDF, 1.75 MB

english, 1986

8

Understanding Community-based HIV/AIDS Service Organizations: An Invaluable Source of HPV-related Cancer Information for At-risk Populations

Wigfall, Lisa T., Goodson, Patricia, Cunningham, George B., Harvey, Idethia S., Gilreath, Tamika D., Adair, Maurice, Gaddist, Bambi W., Julious, Carmen Hampton, Friedman, Daniela B.

Journal:

Journal of Health Communication

Year:

2020

Language:

english

File:

PDF, 1.19 MB

english, 2020

9

Whither relevant arithmetic?

Friedman, Harvey, Meyer, Robert K.

Journal:

Journal of Symbolic Logic

Year:

1992

Language:

english

File:

PDF, 681 KB

english, 1992

10

A Borel Reducibility Theory for Classes of Countable Structures

Harvey Friedman and Lee Stanley

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 909 KB

english, 1989

11

Addendum to “countable algebra and set existence axioms”

Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith

Journal:

Annals of Pure and Applied Logic

Year:

1985

Language:

english

File:

PDF, 92 KB

english, 1985

12

The use of hypnosis and biofeedback procedures for essential hypertension

Friedman, Howard, Taub, Harvey A.

Journal:

International Journal of Clinical and Experimental Hypnosis

Year:

1977

Language:

english

File:

PDF, 862 KB

english, 1977

13

Large sets in intuitionistic set theory

Harvey Friedman, Andrej Ščedrov

Journal:

Annals of Pure and Applied Logic

Year:

1984

Language:

english

File:

PDF, 1.36 MB

english, 1984

14

On decidability of equational theories

Harvey Friedman

Journal:

Journal of Pure and Applied Algebra

Year:

1976

Language:

english

File:

PDF, 266 KB

english, 1976

15

The disjunction and existence properties for axiomatic systems of truth

Harvey Friedman, Michael Sheard

Journal:

Annals of Pure and Applied Logic

Year:

1988

Language:

english

File:

PDF, 667 KB

english, 1988

16

Countable algebra and set existence axioms

Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith

Journal:

Annals of Pure and Applied Logic

Year:

1983

Language:

english

File:

PDF, 2.97 MB

english, 1983

17

Higher set theory and mathematical practice

Harvey M. Friedman

Journal:

Annals of Mathematical Logic

Year:

1971

Language:

english

File:

PDF, 1.47 MB

english, 1971

18

The complexity of explicit definitions

Harvey Friedman

Journal:

Advances in Mathematics

Year:

1976

Language:

english

File:

PDF, 625 KB

english, 1976

19

Arithmetic transfinite induction and recursive well-orderings

Harvey M Friedman, Andrej S̆čedrov

Journal:

Advances in Mathematics

Year:

1985

Language:

english

File:

PDF, 591 KB

english, 1985

20

Long Finite Sequences

Harvey M. Friedman

Journal:

Journal of Combinatorial Theory, Series A

Year:

2001

Language:

english

File:

PDF, 280 KB

english, 2001

21

The Relation Between Parental Coping Styles and Parent-Child Interactions Before and After Treatment for Children With ADHD and Oppositional Behavior

McKee, Tara Eberhardt, Harvey, Elizabeth, Danforth, Jeffrey S., Ulaszek, Wendy R., Friedman, Julie L.

Journal:

Journal of Clinical Child & Adolescent Psychology

Year:

2004

Language:

english

File:

PDF, 118 KB

english, 2004

22

Decidability in elementary analysis, I

Harvey Friedman, Ákos Seress

Journal:

Advances in Mathematics

Year:

1989

Language:

english

File:

PDF, 1.16 MB

english, 1989

23

Nucleoside-modified mRNA encoding HSV-2 glycoproteins C, D, and E prevents clinical and subclinical genital herpes

Awasthi, Sita, Hook, Lauren M., Pardi, Norbert, Wang, Fushan, Myles, Arpita, Cancro, Michael P., Cohen, Gary H., Weissman, Drew, Friedman, Harvey M.

Journal:

Science Immunology

Year:

2019

Language:

english

File:

PDF, 620 KB

english, 2019

24

A cumulative hierarchy of predicates

Harvey Friedman

Journal:

Mathematical Logic Quarterly

Year:

1975

Language:

english

File:

PDF, 417 KB

english, 1975

25

Decidability in elementary analysis, II

Harvey Friedman, Ákos Seress

Journal:

Advances in Mathematics

Year:

1990

Language:

english

File:

PDF, 973 KB

english, 1990

26

The lack of definable witnesses and provably recursive functions in intuitionistic set theories

Harvey M Friedman, Andrej Ščedrov

Journal:

Advances in Mathematics

Year:

1985

Language:

english

File:

PDF, 691 KB

english, 1985

27

Beth’s theorem in cardinality logics

Harvey Friedman

Journal:

Israel Journal of Mathematics

Year:

1973

Language:

english

File:

PDF, 362 KB

english, 1973

28

Algorithmic Procedures

Harvey Friedman and Richard Mansfield

Journal:

Transactions of the American Mathematical Society

Year:

1992

Language:

english

File:

PDF, 352 KB

english, 1992

29

The Number of Certain Integral Polynomials and Nonrecursive Sets of Integers, Part 1

Tamás Erdélyi and Harvey Friedman

Journal:

Transactions of the American Mathematical Society

Year:

2005

Language:

english

File:

PDF, 858 KB

english, 2005

30

The Number of Certain Integral Polynomials and Nonrecursive Sets of Integers, Part 2

Harvey M. Friedman

Journal:

Transactions of the American Mathematical Society

Year:

2005

Language:

english

File:

PDF, 973 KB

english, 2005

31

Ducking Trouble: Congressionally Induced Selection Bias in the Supreme Court's Agenda

Harvey, Anna, Friedman, Barry

Journal:

Journal of Politics

Year:

2009

Language:

english

File:

PDF, 322 KB

english, 2009

32

Pulling Punches: Congressional Constraints on the Supreme Court's Constitutional Rulings, 1987–2000

ANNA HARVEY, BARRY FRIEDMAN

Journal:

Legislative Studies Quarterly

Year:

2006

Language:

english

File:

PDF, 363 KB

english, 2006

33

Examining Subtypes of Behavior Problems among 3-Year-Old Children, Part II: Investigating Differences in Parent Psychopathology, Couple Conflict, and Other Family Stressors

Lauren H. Goldstein, Elizabeth A. Harvey, Julie L. Friedman-Weieneth, Courtney Pierce, Alexis Tellert, Jenna C. Sippel

Journal:

Journal of Abnormal Child Psychology

Year:

2007

Language:

english

File:

PDF, 285 KB

english, 2007

34

Large Models of Countable Height

Harvey Friedman

Journal:

Transactions of the American Mathematical Society

Year:

1975

Language:

english

File:

PDF, 361 KB

english, 1975

35

Evaluation of the effect of cellular SMS reminders on consistency of antiretroviral therapy pharmacy pickups in HIV-infected adults in Botswana: a randomized controlled trial

Reid, Michael J. A., Steenhoff, Andrew P., Thompson, James, Gabaitiri, Lesego, Cary, Mark S., Steele, Katherine, Mayisela, Susan, Dickinson, Diana, Ehrenkranz, Peter, Friedman, Harvey M., Linkin, Darr

Journal:

Health Psychology and Behavioral Medicine

Year:

2017

Language:

english

File:

PDF, 914 KB

english, 2017

36

Clinical characteristics and risk factors for mortality of hospitalized patients with COVID-19 in a community hospital: A retrospective cohort study

Rodriguez-Nava, Guillermo, Yanez-Bello, Maria Adriana, Trelles-Garcia, Daniela Patricia, Chung, Chul Won, Chaudry, Sana, Khan, Aimen S., Friedman, Harvey J., Hines, David W.

Journal:

Mayo Clinic Proceedings: Innovations, Quality & Outcomes

Year:

2020

File:

PDF, 586 KB

2020

37

Reverse mathematics and homeomorphic embeddings

Harvey M. Friedman, Jeffry L. Hirst

Journal:

Annals of Pure and Applied Logic

Year:

1991

Language:

english

File:

PDF, 1.77 MB

english, 1991

38

Elementary descent recursion and proof theory

Harvey Friedman, Michael Sheard

Journal:

Annals of Pure and Applied Logic

Year:

1995

Language:

english

File:

PDF, 2.69 MB

english, 1995

39

Vaccine-induced antibodies to herpes simplex virus glycoprotein D epitopes involved in virus entry and cell-to-cell spread correlate with protection against genital disease in guinea pigs

Hook, Lauren M., Cairns, Tina M., Awasthi, Sita, Brooks, Benjamin D., Ditto, Noah T., Eisenberg, Roselyn J., Cohen, Gary H., Friedman, Harvey M., Hutt-Fletcher, Lindsey

Journal:

Year:

2018

Language:

english

File:

PDF, 4.75 MB

english, 2018

40

10.1090/s0002-9947-04-03631-1

Erdélyi, Tamás, Friedman, Harvey

Journal:

Transactions of the American Mathematical Society

Year:

2005

Language:

english

File:

PDF, 191 KB

english, 2005

41

An active texture-based digital atlas enables automated mapping of structures and markers across brains

Chen, Yuncong, McElvain, Lauren E., Tolpygo, Alexander S., Ferrante, Daniel, Friedman, Beth, Mitra, Partha P., Karten, Harvey J., Freund, Yoav, Kleinfeld, David

Journal:

Year:

2019

File:

PDF, 4.23 MB

2019

42

Building a push-button RESOLVE verifier: Progress and challenges

Murali Sitaraman, Bruce Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather Harton, Wayne Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide

Journal:

Formal Aspects of Computing

Year:

2011

Language:

english

File:

PDF, 1.01 MB

english, 2011

43

[Studies in Logic and the Foundations of Mathematics] PATRAS LOGIC SYMPOSION Volume 109 || A Finite Combinatorial Principle Which is Equivalent to the 1-Consistency of Predicative Analysis

Friedman, Harvey M.

Year:

1982

Language:

english

File:

PDF, 1.24 MB

english, 1982

44

Parenting of children with Attention-Defecit/Hyperactivity Disorder (ADHD): The role of parental ADHD symptomatology

Harvey, E., Danforth, J. S., McKee, T. E., Ulaszek, W. R., Friedman, J. L.

Journal:

Journal of Attention Disorders

Year:

2003

Language:

english

File:

PDF, 615 KB

english, 2003

45

Large models of countable height

Friedman, Harvey

Journal:

Transactions of the American Mathematical Society

Year:

1975

Language:

english

File:

PDF, 1.09 MB

english, 1975

46

What is o-minimality?

Harvey M. Friedman

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 537 KB

english, 2008

47

Knowledge of HIV Testing Guidelines Among US Internal Medicine Residents: A Decade After the Centers for Disease Control and Prevention's Routine HIV Testing Recommendations

Dandachi, Dima, Dang, Bich N., Wilson Dib, Rita, Friedman, Harvey, Giordano, Thomas

Journal:

AIDS PATIENT CARE and STDs

Year:

2018

Language:

english

File:

PDF, 164 KB

english, 2018

48

Subtle cardinals and linear orderings

Harvey M. Friedman

Journal:

Annals of Pure and Applied Logic

Year:

2001

Language:

english

File:

PDF, 228 KB

english, 2001

49

Set existence property for intuitionistic theories with dependent choice

Harvey M. Friedman, Andrej Ščedrov

Journal:

Annals of Pure and Applied Logic

Year:

1983

Language:

english

File:

PDF, 658 KB

english, 1983

50

Foundational aspects of singular integrals

Costin, Ovidiu, Friedman, Harvey M.

Journal:

Journal of Functional Analysis

Year:

2014

Language:

english

File:

PDF, 990 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски